1 Searching books… Gregory Chaitin